Generic Expansions of Countable Models
نویسندگان
چکیده
منابع مشابه
Generic Expansions of Countable Models
We compare two different notions of generic expansions of countable saturated structures. On one hand there is a kind of genericity related to modelcompanions and to amalgamation constructions à la Hrushovski-Fräıssé; on the other, there is a notion of generic expansions defined via topological properties and Baire category theory. The second type of genericity was first formulated by Truss for...
متن کاملGeneric Expansions of Ordered Structures
Let T be a complete first order theory in a language L satisfying uniform finiteness and let TP be the model companion of T in an expanded language LP with a new unary predicate P . We show that: TP satisfies uniform finiteness; if T is an expansion of the theory of dense linear order then every cut definable in a model M of TP is definable in M L; and, if T is an expansion of the theory dense ...
متن کاملOn countable RCC models
Region Connection Calculus (RCC) is the most widely studied formalism of Qualitative Spatial Reasoning. It has been known for some time that each connected regular topological space provides an RCC model. These ‘standard’ models are inevitable uncountable and regions there cannot be represented finitely. This paper, however, draws researchers’ attention to RCC models that can be constructed fro...
متن کاملThe number of countable models of a countable supersimple theory
In this paper, we prove the number of countable models of a countable supersimple theory is either 1 or infinite. This result is an extension of Lachlan’s theorem on a superstable theory.
متن کاملMorley’s number of countable models
A theory formulated in a countable predicate calculus can have at most 2א0 nonisomorphic countable models. In 1961 R. L. Vaught [9] conjected that if such a theory has uncountably many countable models, then it has exactly 2א0 countable models. This would of course follow immediately if one assumed the continuum hypothesis to be true. Almost ten years later, M. Morley [5] proved that if a count...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 2012
ISSN: 0029-4527
DOI: 10.1215/00294527-1722728